Jeff Paris
Jeffrey Bruce Paris (born 1944) is a British mathematician known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles.
He is professor of logic at the University of Manchester and was elected Fellow of the British Academy in 1999.[1]
He gained his doctorate under Robin Gandy at Manchester in 1969 with a dissertation entitled Large Cardinals and the Generalized Continuum Hypothesis.
See also
References
- Paris, J. and Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In Handbook for Mathematical Logic (ed. J. Barwise), pp. 1133–1142. Amsterdam, Netherlands: North-Holland, 1977.
- Kirby, L. and Paris, J.: Accessible independence results for Peano arithmetic, Bulletin London Mathematical Society, 14 (1982), pp. 285–93.
- Paris J.B.: The uncertain reasoner's companion: a mathematical perspective, Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, ISBN 0521460891
External links
Persondata |
Name |
Paris, Jeff |
Alternative names |
|
Short description |
|
Date of birth |
|
Place of birth |
|
Date of death |
|
Place of death |
|